Concurrency computer science)

Results: 359



#Item
71

BRICS Basic Research in Computer Science BRICS DSM. Nygaard: Domain Theory for Concurrency Domain Theory for Concurrency

Add to Reading List

Source URL: www.brics.dk

- Date: 2004-03-29 08:43:04
    72

    ABSTRACTS-YEAR 2000 THESIS COMPUTER SCIENCE CS-00-1 SEMANTICS OF CONCURRENCY IN JAVA MD. Anisur Rahman

    Add to Reading List

    Source URL: www.cs.ait.ac.th

    Language: English - Date: 2005-07-11 03:56:31
      73

      BRICS Basic Research in Computer Science BRICS RSG. Winskel: A Linear Metalanguage for Concurrency A Linear Metalanguage for Concurrency

      Add to Reading List

      Source URL: www.brics.dk

      Language: English - Date: 1999-02-24 18:14:31
        74

        DYNAMICS AND PRAGMATICS FOR HIGH PERFORMANCE CONCURRENCY the abstract of a thesis submitted to The University of Kent at Canterbury in the subject of computer science

        Add to Reading List

        Source URL: www.frmb.org

        Language: English - Date: 2003-12-31 04:02:49
          75

          BRICS Basic Research in Computer Science BRICS RSP. D. Mosses: A Modular SOS for ML Concurrency Primitives A Modular SOS for

          Add to Reading List

          Source URL: www.brics.dk

          Language: English - Date: 2000-02-15 19:12:18
            76

            BRICS Basic Research in Computer Science BRICS DS-00-1 T. T. Hildebrandt: Categorical Models for Concurrency: Independence, Fairness and Dataflow

            Add to Reading List

            Source URL: www.brics.dk

            Language: English - Date: 2001-09-10 06:11:30
              77

              BRICS Basic Research in Computer Science BRICS RSNygaard & Winskel: Domain Theory for Concurrency Domain Theory for Concurrency

              Add to Reading List

              Source URL: www.brics.dk

              Language: English - Date: 2004-01-23 09:30:42
                78Computer programming / Thread / Reentrant mutex / Critical section / POSIX Threads / Lock / Monitor / Light-weight process / Spinlock / Computing / Concurrency control / Concurrent computing

                An OO Encapsulation of Lightweight OS Concurrency Mechanisms in the ACE Toolkit Douglas C. Schmidt http://www.cs.wustl.edu/schmidt/ Department of Computer Science

                Add to Reading List

                Source URL: www.cs.wustl.edu

                Language: English - Date: 1998-11-19 15:35:29
                79Lock / Mutual exclusion / Parallel computing / Computer monitor / Electronics / Concurrency control / Monitor / Computing

                COMPUTER SCIENCE TRIPOS Part IB – 2014 – Paper 5 8 Concurrent and Distributed Systems (RNW) (a) Monitors are a programming primitive linking data with two synchronization types: mutual exclusion and condition synchro

                Add to Reading List

                Source URL: www.cl.cam.ac.uk

                Language: English - Date: 2014-06-09 10:18:43
                80Petri net / Formal language / Computer science / Mathematics / Applied mathematics / Models of computation / Concurrency / Diagrams

                A Concurrency-Preserving Translation from Time Petri Nets to Networks of Timed Automata Sandie Balaguer, Thomas Chatain, Stefan Haar LSV – ENS Cachan, INRIA, CNRS – France

                Add to Reading List

                Source URL: www.cmi.ac.in

                Language: English - Date: 2011-01-31 10:48:50
                UPDATE